Privacy Requirement Modeling and Verification in Cloud Computing

Cloud computing, the architecture which shares dynamic heterogeneous characteristics in the cross-layer service composition, has affected traditional security, trust and privacy mechanisms which are mainly based on data encryption and access control. Approaches that can support accurate privacy requirement description and verifiable compliance between the privacy requirement and system practice need to be developed to fit this new paradigm. To tackle the issues of privacy requirement modeling and verification in cloud computing, a framework that supports model checking consistency, entailment and compliance with the formal definition of privacy requirements and privacy model of cloud application is proposed. This paper provides an overview of the scientific research problem, approaches to solve the problem and ways to evaluate the solution found by the research related PhD thesis. Keywords—Cloud computing, privacy requirement, model checking, formal model